"Michael Leuschel" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Michael Leuschel, Heike Wehrheim

Категория: Компьютеры

10.61 Mb

#2

Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

Категория: Математика, Прикладная математика

4.09 Mb

#3

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

4.20 Mb

#4

Integrated Formal Methods, 7 conf., IFM 2009

Michael Leuschel, Heike Wehrheim

Категория: Cs_Computer science, CsLn_Lecture notes

5.05 Mb